Automated Verification of Cyber-Physical Systems: no lecture on 10/3/2023

The lecture of the course "Automated Verification of Cyber-Physical Systems" (Master Degree in Computer Science) to be held on Friday 10th March 2023 will not take place.

Utilizziamo i cookie per offrirti il ​​nostro servizio. Continuando a utilizzare questo sito acconsenti al nostro utilizzo dei cookie come descritto nella nostra policy.